Basic Modal Propositional Logic